// buffer_read_int()
// Reads a 4 byte integer.

return buffer_read(buffer, buffer_s32)
